#!/bin/bash

#cd /Users/adriaan/cw/phd/experiments/twelf/fs/
#
#if [ fs.elf -nt fs.gelf ]; then
#	echo "The generated fs.elf is newer than its source, fs.gelf -- aborting."
#	exit 1
#fi

#cat genlib.gelf fs.gelf | erb -T 0 -P > fs.elf
#touch fs.gelf # race condition.. 
